
#include "jxos_config.h"

#define SIM_TIMER_MAX 		SWTIMER_MAX